Knihy od autora Matt Kaufmann

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, 2000

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   5236 Kč

   Koupit
2. 

   Interactive Theorem Proving

   Matt Kaufmann, Lawrence C. Paulson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-21 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2675 Kč

   Koupit
3. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2000

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Pevná

   6796 Kč

   Koupit
4. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   5236 Kč

   Koupit
5. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2012

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   6796 Kč

   Koupit
6. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2000

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Pevná

   8420 Kč

   Koupit

Orientační termín doručení vidíte přímo v detailu knihy. Zjistěte více